| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
Temporal Logics in Computer Science(Hardback)
Finite-State Systems
Volume 1
Cambridge University Press
Published:
13/10/2016
A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
|
In Stock:
None
| List Price:
|
£107.00 |
|
Our Price:
£96.30
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
Topological Duality for Distributive Lattices(Hardback)
Theory and Applications
Published:
31/03/2024
This introduction to Stone-Priestley duality theory brings modern tools in the area together in textbook format for the first time and covers applications to logic and theoretical computer science. ...
|
In Stock:
None
| List Price:
|
£64.99 |
|
Our Price:
£58.49
|
|
|
|
|
|
|
|
5.
|
|
|
Initial Algebras and Terminal Coalgebras(Hardback)
The Theory of Fixed Points of Functors
Published:
30/09/2024
This definitive treatment of results in category theory and theoretical computer science covers classical material from new viewpoints and develops a wealth of new topics. The centrepiece is a colle...
|
In Stock:
None
| List Price:
|
£155.00 |
|
Our Price:
£139.50
|
|
Availability:
Not Yet Published
|
|
|
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
Mathematical Theory of Domains(Electronic book text)
Cambridge University Press (Virtual Publishing)
Published:
05/06/2012
Introductory textbook/general reference in domain theory for professionals in computer science and logic.
|
Click 'Details' for EBook Formats and
Prices
|
|
|
|
|
9.
|
|
|
Updating Logical Databases(Electronic book text)
Cambridge University Press (Virtual Publishing)
Published:
22/03/2010
The book will be of value to all involved in database research.
|
Click 'Details' for EBook Formats and
Prices
|
|
|
|
|
10.
|
|
|